Mutual exclusion - PDFSEARCH.IO - Document Search Engine

Mutual exclusion
Results: 185

#	Item
21	Lock-free Dynamically Resizable Arrays Damian Dechev, Peter Pirkelbauer, and Bjarne Stroustrup Texas A&M University College Station, TX {dechev, peter.pirkelbauer}@tamu.edu, Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:35:23 Concurrency control Linearizability Non-blocking algorithm Hazard pointer Compare-and-swap Lock Monitor Reference counting Mutual exclusion File locking Concurrent data structure Standard Template Library
22	The Structure of the "THE"-Multiprogramming System Edsger W . Dijkstra Technological University, Eindhoven, The Netherlands A multiprogramming system is described in which all activities are divided over a number of sequ Add to Reading List Source URL: www.eecs.harvard.edu Language: English Edsger W. Dijkstra Concurrency control Semaphore Synchronization Mutual exclusion Actor model THE multiprogramming system Flag semaphore Lock Critical section Monitor Sleeping barber problem
23	PDF Document Add to Reading List Source URL: codex.cs.yale.edu Language: English - Date: 2013-07-28 11:23:43 Concurrency control Mach Thread Monitor Microkernel Spinlock Synchronization Kernel SIMPL Operating system Semaphore Mutual exclusion
24	SyncProf: Detecting, Localizing, and Optimizing Synchronization Bottlenecks Tingting Yu Michael Pradel Add to Reading List Source URL: mp.binaervarianz.de Language: English - Date: 2016-05-19 17:56:20 Concurrency control Computing Software engineering Economy Software optimization Edsger W. Dijkstra Network performance Communication Synchronization Bottleneck Lock Mutual exclusion
25	Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2015-04-27 14:17:24 Concurrency control Computer architecture Computing Software Read-copy-update Memory barrier Linearizability Mutual exclusion Synchronization Futures and promises
26	High-Performance Distributed RMA Locks Patrick Schmid∗ Maciej Besta∗ Torsten Hoefler Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2016-04-21 19:31:29 Concurrency control Readerswriter lock File locking Spinlock Non-blocking algorithm Compare-and-swap Lock Mutual exclusion Synchronization Linearizability Parallel computing
27	Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2015-04-27 14:19:25 Concurrency control Computer architecture Computing Software Read-copy-update Memory barrier Linearizability Mutual exclusion Synchronization Futures and promises
28	Technical Report UCAM-CL-TR-579 ISSNNumber 579 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-02-13 14:20:06 Concurrency control Computing Data management Computer architecture Non-blocking algorithm Lock Mutual exclusion Linearizability Readerswriter lock Synchronization Software transactional memory Memory barrier
29	Chapter 4 Shared Objects & Mutual Exclusion DM519 Concurrent Programming Add to Reading List Source URL: www.imada.sdu.dk Language: English - Date: 2015-01-30 05:54:39
30	Preprint – March 28, 2013 Quantitative Reasoning for Proving Lock-Freedom Jan Hoffmann Michael Marmar Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2013-03-28 17:48:03 Concurrency control Computing Computer programming Concurrent computing Non-blocking algorithm Hazard pointer Mutual exclusion Lock Concurrent data structure Synchronization Compare-and-swap Linearizability